Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
181	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. Add to Reading List Source URL: markburgess.org Language: English - Date: 2014-12-18 08:35:34 Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton
182	Research internship (Master M2) Title Verification of concurrent systems with data structures Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-11-20 05:22:25 Verification Finite-state machine Models of computation Automata theory Systems engineering
183	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
184	JAVA - REGULAR EXPRESSIONS http://www.tutorialspoint.com/java/java_regular_expressions.htm Copyright © tutorials point.com Java provides t he java.ut il.regex package for pat t ern mat ching wit h regular expressions. Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-27 04:48:02 Pattern matching Regular expressions Automata theory Java Computing Computer programming Software engineering
185	A guided tour of asynchronous cellular automata NAZIM FATÈS? Inria Nancy Grand-Est, LORIA UMR 7503 F, Villers-lès-Nancy, France Received September 29, 2014; In final ??? Add to Reading List Source URL: webloria.loria.fr Language: English - Date: 2014-10-06 10:42:48 Automata theory Phase transition Cellular automata Cellular automaton Asynchronous cellular automaton
186	Effect of Noise on Long-term Memory in Cellular Automata with Asynchronous Delays between the Processors Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Mathematical analysis Optimal control Stochastic control Operator theory Optimal projection equations Theorems and definitions in linear algebra Control theory Systems theory Cybernetics
187	Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-04-26 17:57:31 Models of computation Theoretical computer science Functions and mappings Calculus Ω-automaton Finite state transducer Continuous function Derivative Computability Automata theory Mathematics Mathematical analysis
188	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
189	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
190	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science

UPDATE